<HTML><HEAD><TITLE>is_sbdd_var(?Var)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic_gap_sbdd)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>is_sbdd_var(?Var)</H1>
Checks whether a variable is an SBDD variable
<DL>
<DT><EM>Var</EM></DT>
<DD>The variable to check
</DD>
</DL>
<H2>Description</H2>
   Succeeds iff Var is an SBDD variable (i.e. has been initialised through
   a call to sbdd_initialise/5).


</BODY></HTML>
